表示不變量（Representation Invariant）與抽象函數（Abstract Function）

主要內容來自MIT6.031 Software Construction課程及HIT 軟件構造課程。 我們先來介紹兩種類型空間的值： 一、 Space of representatio ...